Merge pull request #8 from xeno-by/master

fixed the e.a$x problem
Merge pull request #9 from xeno-by/master

only apply B02 and B04 when we're selecting a getter
Merge pull request #10 from xeno-by/master

more fixes
Merge pull request #11 from xeno-by/master

fixed an incorrect owner issue leading to problems in erasure
Merge pull request #12 from xeno-by/master

looks like we need a dedicated unbox2box(box2unbox(e)).x rule
Merge pull request #13 from xeno-by/master

misc hacking
Merge pull request #14 from xeno-by/master

misc hacking 2
Merge pull request #15 from xeno-by/master

improvements to logging
Merge pull request #16 from xeno-by/master

basic test now compiles
Merge pull request #17 from xeno-by/master

hahaha it was the test that was producing SOE, not myself
Merge pull request #18 from xeno-by/master

VS works, started working on VM
Merge pull request #19 from xeno-by/master

not sure whether trolling or not
Merge pull request #20 from xeno-by/master

hello Vlad
Merge pull request #21 from xeno-by/master

sorry this didn't even compile
Fixed isA looking at stale type
Merge branch 'master' of github.com:miniboxing/valium
a bit more progress