- the & type
- aliases
- rule defintions for rewriting/implicit type conversion
  - directed rules: => and <=
  - equivalence rule: <=>