A framework for rate-independent crystal plasticity in the finite deformation range