Type rules (34/48)

Type rules