Type rules (25/48)

Type rules