symbols mentioned in type signatures