Update coercion logic
Merge pull request #5 from xeno-by/master

ongoing fixes
Merge pull request #6 from xeno-by/master

clarifies B09
BM invariant in the type system
Merge branch 'master' of github.com:miniboxing/valium
Merge pull request #7 from xeno-by/master

debugging e.a$x aka Eax