Dependent type templates (as in Liquid Types)