Кажется дописал процедуру проверки симметрии морфидов первого типа.

Не знаю будет ли работать. Завтрашние тесты покажут. Залил изменения в git, можете посмотреть. https://gist.github.com/killofwin/8283475