Renamed a few routines.
Cleaned the eight queens code in lambda calculus.
Code clean up.
Code clean up.