types resource

implementation of the interop feature on types
seems to be going ok. need to get some tests up
and running for this