QUANTISING PROPER ACTIONS ON SPIN-MANIFOLDS