Type rules (33/48)

Type rules