finally, unification
add cons operator to initial environment
better display of LineColPos

editors start counting at 1 for both columns and lines, so we have to
add one when showing LineColPos
examples
rename identifier
refactoring
test cases for type checker
type signature