Add protocol introspection helpers
Add deftype example and extend/reify stubs