quick fix for refining type
update typechecker with new error code