Simplified CARTA. It only needs a ranked alphabet for instantiation.