Type rules (9/48)

Type rules