Type rules (10/48)

Type rules