Type rules (36/48)

Type rules