changed KanUElem again
added formulas/support to variables; conversion for regular compositions