Type rules (7/48)

Type rules