Type rules (4/48)

Type rules