make fresh type variable