Fixed uncaught pattern match error
Added Signature type family, the inverse of the Class type family.