Add a symbol list in preparation for type checking