Concretize Ansatz type with "lattice"/connectivity information and refactor subtypes on top of it

Concretize Ansatz type with "lattice"/connectivity information and refactor subtypes on top of it #447