added JSON expression formatter
added optimizations
added derivation
added expression static validation