Explain better what we mean when we say that the core language is monomorphic
Add an explanation of the Lam constructor from the FOAS representation