wip: implement type inference of partial template args
change tests location
improve CTFE(template args can be used in normal flow)