Multiple type resolvers now allowed

A frame will always implement the 'kind' passed in to the framing method, otherwise we would be asking for runtime errors. Type resolver will only specify additional interfaces implemented, therefore it is reasonable to allow multiple type resolvers per graph.

Added unit test for type resolver, updated javadocs.