Identify new types invalid expressions. Add initial support to computational tree retrieval