added orderedmonoid to algebra module