Revised consistentTLower to eliminate bound variables in the resulting LB type
Add reduced example of partial record types.
Add dot product. Update SGD`
Merge branch 'master' of https://github.com/damsl/K3-Core
Bugfix
Typechecker fix for unify with override during projection
Merge branch 'master' of github.com:DaMSL/K3-Core
Fix record wrapping bug in k_means.k3
Add record/collection type-mismatch example.
Add failing type-test for missing field projection.
More bugfixes for eager lower bound evaluation and use of override type
Minor comment cleanup
Added pretty printing for EQType annotations
Added a few more quicktype examples/tests
mosaic: Added fully typechecking versions of rst, tpch3_small
Preserve deferred evaluation when unifying two QTLowers
Merge branch 'master' of github.com:DaMSL/K3-Core
Add initial outline of q3.k3.

Still doesn't typecheck, some weird record-projection errors exist.
Merge branch 'master' into dispatch