basic type inferencing that is much closer to hindley-milner
infer multiple parameters
better multiparameter parsing. it's shaky.
curry!
local scope
type check if-expression
syntactic sugar for curryied application
correctly unify lists with free types
return substitutions of assignments