part-of typechecking: use symbol