Merge branch 'master' into core
Merge branch 'master' into core
Add utility to add all elements from an array to a collection.
Rename Filter -> Selector
Merge branch 'core'
Add XML declaration
Fix only one element being added.
Delete unused array utilities.
Bump version to 1.3.0-SNAPSHOT
Remove imports for 'base' module
Update reductions to take advantage of new improvements in the language
Cleanup of build reductions
Cosmetic changes to premises and output to take advantage of proper rule merging and type cast premise
Some more fixes to reduction rules
Cosmetic change to premise in calls.
Everything typechecks.
Remove some unused variables now that we have check for unused variables.
Remove unused vars
Work around limitation in rule merging.
Some cleanup on dynamic semantics
work around some limitations in unification