Handle packs, better support for syntax extensions defined by the project

ocaml-cow almost compiles ...