A very simple factory for creating types.