Initial commit
start exo monoid