splitting the reification of wildcard types and variable types in two different term representations: variable_type/2 and variable_type/3