A collection of type macros intended for making Cake pattern more manageable.