Type rules (8/48)

Type rules