Minor fix to flip nofeed flag to correct default
HMTypes update, to add better collection handling
Merge branch 'master' of github.com:DaMSL/K3-Core
Added an endpoint tester
Added a declaredvar environment during inference. Better handling of top-level polymorphism in qtypes.
Merge branch 'master' of github.com:DaMSL/K3-Core