Type rules (47/48)

Type rules