Correctly parse full opaque type specifications in signatures
Extend types in signatures parsing test.