Datatype refinement via ornamentation.