shift stack elements when exiting block instructions

some little polish

some fixes

utilize type information

more memory operations

update runtime

Merge branch 'zdh/staged-eval' of github.com:Generative-Program-Analy…

make topFun work

don't inline stack-pop to improve readability

extract the dummy writing pattern as a function

extract the dummy writing pattern as a function

fix printing logic in test

redirect generated code to a file

emit functions

an almost work runtime

an almost work runtime

not inlining + shallow

stack pop example

manually supply the reflect's type arguments

fix some of the nothing type

some tweaks

scratch cpp backend

brtable seems to work, but there is code duplication problem

fix: code generation for global.set

fix global

fix: tail call

demo br_table's attempts

fix: Frame creation is not optimizable

failed test

improve runtime(the prelude)