Type rules (44/48)

Type rules