Fix generic type visitor. Foundations for evaluation.