Type rules (30/48)

Type rules