Parser support for Functional Dependencies

This adds parser support for the syntax introduced by GHC's `FunctionalDependencies` extension.