Type rules (20/48)

Type rules