type robotname = string & {_robotname_marker:true}

or some variation. The marker does not actually need to exist.