Convexity Pattern initial add

(Next time, I'll push directly to the original repository.)