Type rules (40/48)

Type rules