Move more of the syntax system over to the functional style.
Update LKG.