Simpicial Structures using DiSimplex Type Theory