Merge pull request #108 from bitlisp/master

Inline type annotation function
Check result of elaboration at the REPL properly
Undo a change in error rendering that was only for debugging...
Fix scoping error in proof scripts
Fixes issue #106
Fix Unlit to cope with documentation comment syntax
More platform agnostic now

Cleaned up the paths, also added feof and ferror as functions (on
mingw32 they're macros that expand incorrectly in the C based backend
output.

Conflicts:
	src/Pkg/Package.hs
	src/Util/System.hs
Add bitwise &/| primitives for Int (prim__andInt / prim__orInt)
Better strategy for building case trees at compile time
added Data.Bits and primitives for Int
Merge pull request #112 from raichoo/master

Data.Bits and primitives
Add Debug.Trace
Improve evaluation of projection
By caching result of evaluation, so that it's already evaluated when
next projection happens.
Merge pull request #110 from LeifW/platform_agnostic

More platform agnostic now
Fix Util.System so that it compiles again...
word 8/16 primitive types
Made generating C headers more declarative
Whitespace fix
Added the ability to dump bytecode to a file
Merge pull request #115 from DanielWaterworth/dump_bytecode

Added the ability to dump bytecode to a file
Merge pull request #114 from raichoo/word

word 8/16 primitive types