time-cube: rewrite supporting dependent type features