Type rules (42/48)

Type rules