Update coercion logic
BM invariant in the type system
Merge branch 'master' of github.com:miniboxing/valium