Add/Fix support for (a: Type) patterns