Kam Theory and Semiclassical Approximations to Eigenfunctions