Type rules (38/48)

Type rules