onto -> OMS: layout
some recently discussed adjustments of the abstract syntax