Add std.mb and prelude.ma to the dependencies in the makefile
Refactor macros a bit and add assert!
Emit "void" for BottomTy in ccross
Flip order of mismatched function arguments in error reporting