Change up how literal printing is done to produce less warnings.
Fix a silly thing that caused extra newlines in error messages.
Fix a type error in list.mb.
Actually check that both sides of a binop agree.