Type rules (3/48)

Type rules