Type rules (41/48)

Type rules