Spine validation
Spine validation

Adds a function `isValidSpine` which takes GenericSignature and
GenericSpine and checks does that spine conforms to the signature.

paf31/purescript-generics,purescript/purescript-generics,felixSchl/purescript-generics