Basic choice types implemented.