Type rules (5/48)

Type rules