Type rules (43/48)

Type rules