cpp: minor. added include for Options
Add 'mutable' to generated lambdas
Merge branch 'master' of github.com:DaMSL/K3-Core
Add builtins
Add 'at' to Seq.
cpp: put external Engine and peers in builtins
cpp: Fixes to build
Add more library functions for Set, Seq, Sorted
Bugfixes, add Seq, Set, and Sorted map variants
Rename setMap,seqMap,sortedMap to selfMap
Add selfMap to Map
Finish CArgs analysis (except for aliases)
Add basic pattern synonyms for common types.

The code-base now depends on ghc-7.8.3, for its PatternSynonyms
extension.
Migrate genCType to Representations.
Add Byte pattern synonym to Representation.
Migrate `unarySymbol' to Rep.
Migrate `binarySymbol' to Rep.
Migrate `constant' to Rep.
Migrate `inline' type-signature to Rep.

And so it begins...
Migrate `inline/empty' to Rep.