typeable isn't quite working...

Signed-off-by: Andrew Miller <amiller@dappervision.com>
Prove and Verify working - had to use unsafecoerce. Extractor dunno.

Signed-off-by: Andrew Miller <amiller@dappervision.com>