Starting to rework type representations, and removed some examples until API becomes more stable.