type-check hoisted code
debugged hoisting, can compile arithmetic library now