syntax_error(+Culprit)- To be done
 - Deal with proper description of the location of the error. For short 
texts, we allow for Type(Text), meaning Text is not a valid Type. E.g. 
syntax_error(number('1a'))means that1ais not a valid number. 
syntax_error(+Culprit)syntax_error(number('1a')) 
means that 1a is not a valid number.