Added a monoidal demo and also added a make-like script