Implemented LeftAdjunction; => spine adaption; few name changes; add
further example;