Tack types onto globals in Imperative/CPPCG.
Make patchables aware of polymorphic functions.
Produce C types for declared type variables.
Attach template instantiations to polymorphic function calls.
Generate top-level polymorphic functions in C++.
Add Loader builtin
Merge branch 'master' of https://github.com/damsl/K3-Core
Add amplab query 1
Update query 1
Merge branch 'master' of https://github.com/damsl/K3-Core
Change variable name
Add name/type to globals for annotation members.
Simplify TNumber -> double in C++.
Fix TForall/TFunction handling for annotation members.
Add template instantiation for projection calls.

This is a massive copy-paste, and can certainly be refactored to
something nicer.
Add boost/serialization/vector to include list.
amplab: moved to a new directory
amplab: added q2

also added substring to cppbuiltins
Alphabetize record, implement c++ substring
Fix non-alphabetical record issues.

There's a subtle issue when creating literal records -- we might store
record fields in alphabetic order, but if the programmer has
side-effects in their field initializers, we should probably respect the
order of those effects.

Therefore, only the values of the record fields are shuffled around, not
the effects derived from their creation.