types

Typing utilities.