Representing manifolds by crystallization theory: foundations, improvements and related results