[racket] typed racket and interfaces

Is there a type constructor for interfaces?  And if there is, would (Instance Interface<%>) work (like (is-a?/c interface<%>) works)?  

Other slightly random but related questions:
Is there a way to specify inheritance in a class or interface type constructor (so then you can avoid some copying and pasting)?
Why doesn’t the documentation for the Class constructor not give any information about how to use it?