Fix compilation order
Begin compilation of pattern matching on expr