update dependencies
make Type implement KFn
fix warnings
thread environment through analyser and compiler
Fix warnings
typo fix
refactoring to pass environments through expressions
commenting and deleting redundant code
tidy warnings
refactor "compute" to "interpret"
Make Kiss environment mapping into an implementation detail
blank namespace
hacking with eval
misc edits