no longer takes TyCon type parameters away
<=, =>, instance Ord Int
adds type annotation to the argument of a lambda abstraction when pretty printing; GHC.Num.(-); tests for the recursive take' function
Creates an extra type of thunks: vdefgthunk (efficient instead of copies of libs and var dependency graph); passes take' test