Finished with typeset ops (added map and mapFold)