Basic Type well formedness check using symbol table