move typeclasses for framing into separate file

Closed Ralf Jung requested to merge jung/iris:framing into master

As just discussed with @robbertkrebbers

Merge request reports