Update kmeans and lib.
Rename EffectKind -> Kind for consistency.

Use qualified imports for disambiguation.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Misc Fixes. Finish k-means with logging.

Fix nasty zero-vector bug (calling resize instead of initializing)
Which we had seen before.

Fix log flag.
Merge branch 'master' of https://github.com/DaMSL/K3-Core
Move InsertMembers to the Analysis directory
InsertMembers compilation
Elide return-types from lambdas.
Fix non-created annotation combinations.

The previous method only created the classes corresponding to an
annotation combination if that combination was used somewhere in a
_declaration_, not just inline.

The new method avoids this by requesting it every time its type is
accessed.
Fix missing returns statement.
Add flattenApplication* transform.

This transformation flattens trees of applications using CArgs
information. This bypasses the need to use std::bind, but relies on the
assumption that the application of a CArgs function will get all of its
arguments at the same time.
Remove automatic attachment of template specializations.

We rely sufficiently on template parameter deduction that we no longer
need to explicitly specialize most function calls.
Generate application expressions based on flattened trees.
Generate CArgs 1 annotations where possible.
Attach CArgs annotations for Seq.
Logging changes
Added typedef desugaring to parser, and usage example. Minor comments on effects and simplification
Merge branch 'master' of github.com:DaMSL/K3-Core
Add some builtins. Clean up kmeans
Merge branch 'master' of https://github.com/DaMSL/K3-Core