schema: symbol type table