Type rules (23/48)

Type rules