Recoding Types/Constants/Predicates lexical analysis and add them correctly in the data

We take the either types in consideration now so be careful with these

Adding -Wall to Makefile

Adding one rule in the te- grammar in order not to interfere with predicate definition