tiny coercion example
coercion in expressions
coercion in types
fix for #97, ignore rec calls from readVars
eval
Merge pull request #99 from ucsd-progsys/coercion

Coercion
Merge pull request #100 from ucsd-progsys/trueRec

fix for #97, ignore rec calls from readVars
untyped-LC-eval
get the env thing to work
solved silly keyword-in-fixpoint-issue but pull fixpoint too