Type rules (45/48)

Type rules