Replace hand-written parser with generated parser

The COOL formula/functor parser is a custom hand-written monstrosity (by now) making it harder than necessary to extend the syntax due to easily breaking parsing of unrelated syntax elements.

Replacing the parser with a cleanly generated parser would avoid these issues.