Type rules (31/48)

Type rules