Remove idris code
Rewrite parser to use trifecta for better error messages
Split Parser.hs from Main.hs
Add types for basic ops
Add custom Show instance for Type
Correct types of Intro0 and Elim0
Give Op an argument for typed/untyped, prepare for type renaming
Rename variables so that names are globally unique
Add OPe() to simplify many types
Move used var map into new TypeContext data type
Rename InferTypes to AddTypes
Remove unnecessary strictness
Add stub unifyTypes function
Move contraints to TypeContext
Remove BlockType
Remove Fix (was redundent with Merged)
Add basic unification (no blocks or recursion)
Add partial recursion handling
Extract mapTy
Properly add types for blocks