type checking operators, unerefined symfile printing