Typing of a program is now in a seperate object, instead of being kept
in TypeInference. Also cleaned up TypeInference a class a bit.
Changed Offsets class to use LineOffsets from jshtml.
Merge branch 'master' of github.com:asgerf/light-refactor