refactor how labels work
more progress on min-document integration
more progress on min-document mli
implement optional labels