TDL: tiny dependently typed language