Type rules (35/48)

Type rules