tiny coercion example
coercion in expressions
coercion in types
Merge pull request #99 from ucsd-progsys/coercion

Coercion