Turn of HK3 splice logging
Bugfix for single line comment parsing.
Changed inital type environment to include non-function declarations for correct cyclic scoping of non-fun vars.
Updated examples to use new record splicing sigils
Merge branch 'master' of github.com:DaMSL/K3-Core