backtrack type variables