First work on formula matcher for compiler.