New submitted version of A5.  Updates to translate.hs and ttyping.hs.