open response exercises get answer types
fixing merge conflict in arith-to-coe1.scrbl