Support free type variables in restrictions