Typechecker worker crashing when no expr is defined