documentation of BravaisLattice and TightBinding.