implement `cpsExpr`, except logic operators
refactor variable reference out (l/r-vlaue), unchecked
rename variable
implement short circuit jumps, undone
recursive definition in cpsExpr LAnd, LOr. can it work?
give newtype to LLIR block label
add Semantic.AST ugly printing
rewrite cpsExpr shortcircuit and add LLIRTrans test code
fix cpsExpr Code::Blocks problem
fix LLIR function entry type
fix short circuit operator semantics; TODO: fix `teste5`
fix some nexted &&,|| case using a fragile and bad approach; teste10 is still broken
reordering codes
remove liftIO; teste6 are actually broken..lots of them
fix adjustA type error (key is missing)
fun show LLIR code
change block approach, recording exit code (teste6 still broken)
LLIR show, fix missing `Call`
temporary fix tests by (hack:) rearranging code and execution flow
variable declaration order-aware type checking, using ugly hack