Fixed small bug in default arguments to defm-monoid-genop.
Added inclusion of lla (bugfix).