typing many multifunctions and complex cases. more to come, though.
starting to transition to full hindley-milner for type inferrence (plus llama extensions for multifunctions, of course)
refactored a lot. more to do but it's going well.
all tests passing with hindley-milner. w00t
Merge pull request #36 from thinkpad20/feature/hindley-milner

Feature/hindley milner