Theory of kaon-nuclear systems