factor out decl:begin from expr:let
add more tests to test.mox
make some more module tests pass