Type rules (14/48)

Type rules