Type rules (26/48)

Type rules