create is fine createCreateable doesn't clash with existing code (backwards compatibility)

Regarding Semigroup -- maybe it will all work out properly, but the pattern I've seen regarding create is that the create method is in the definition of the Monoid, that means we can't use the knowledge that O is a monoid :-/.