Various useful types, which are mostly aggregates of numbers plus operations.