Starting to add matcher for GADT.
- This is the initial commit, only matches on the ident at the moment, but should be recursive.