A variational inequality theory for constrained problems in reflexive Banach spaces