separate "membership set" and "Merkle tree" as its impl in the spec

separate "membership set" and "Merkle tree" as its impl in the spec #409