TDL: Tiny Dependently typed Language