Public Type Signatures

Specify signatures for public types.