Use Hint more strategically

As noted by @mlesourd (!32 (comment 38961)), using Hints could make some of our proofs easier / shorter by automating away tedious steps. Going forward, we should introduce Hints in Prosa and come up with some guidelines for when it's a good idea to do so.