The ocra language currently doesn't support an enum type, but only allows inline definition of enum-like types, which breaks MPS type inference.