Initial versions of beta reduction and common subexpression elimination
Merge branch 'master' of github.com:DaMSL/K3-Core
Merge branch 'master' of github.com:DaMSL/K3-Core
Added collection tracking metadata to shallow records (SRecord) in the typesystem. This substantially improves collection type manifestation by directly reproducing the content type and attached data annotations as a TCollection (i.e., manifestation no longer constructs a mu-recursive record).
Removed source process function construction when --nofeed flag is passed
Added mapIn1RebuildTree transformer
Added initial version of HM typesystem. This is mostly functional except for environment initialization and record subtyping.
Improved numeric polymorphism.
More work on HMTypes. The only thing that remains is collection final and self construction
Merge branch 'master' of github.com:DaMSL/K3-Core
Merge branch 'master' into quicktypes