Classical integrable Hamiltonian systems generated by elements of the Poisson commuting ring of spectral invariants on rational coadjoint orbits of the loop algebra ($) over tilde g ($) over tilde l(+)*(2, IR) are integrated by separation of variables in the Hamilton-Jacobi equation in hyperellipsoidal coordinates. The canonically quantized systems are then shown to also be completely integrable and separable within the same coordinates. Pairs of second class constraints defining reduced phase spaces are implemented in the quantized systems by choosing one constraint as an invariant, and interpreting the other as determining a quotient (i.e. by treating one as a first class constraint and the other as a gauge condition), Completely integrable, separable systems on spheres and ellipsoids result, but those on ellipsoids require a further modification of order O(($) over bar h(2)) in the commuting invariants in order to assure self-adjointness and to recover the Laplacian for the case of free motion. For each case - in the ambient space IR(n), the sphere and the ellipsoid - the Schrodinger equations are completely separated in hyperellipsoidal coordinates, giving equations of generalized Lamb type.