11:30:11 <donri> how do you use / how does typechecking work with jmacro?