Better type checking for some predicates
Fixing limitation in expression within operators
refactor generic types
fix number parse bug
add EOF in parser
change IllegalArgumentException by RuntimeParseException
Format