improve assum in thms for cons translation
cons translation works again
translation of case exps works again
clean translation of lambda, trailing white space