moved samples and proof samples to modules with atom/gate specific names, separated proof combinators into own file