Update and rename while.hs to While.hs

Improved representation of expressions and scraped retarded use of do notation for instance Functor, Applicative decls