Type abstract interpreter 1
essentially the Hindley monotype abstract interpreter
- exact Herbrand abstraction of the Church/Curry monotype semantics
- can be made more precise (fixpoint computation) (?)
principal types
- monotypes with variables
- which subsume all the other types
- represented as Herbrand terms
- terms built on type variables