I think the solution to the catcher situation is to grab a borderline starter/backup type, much like Yan Gomes was when we first acquired him. Jansen, Kelly, and Higashioka all fit the bill. I have no strong preferences as to whom.
Start the season with Amaya/Veteran. Give Amaya a chance to prove some of the late season adjustments may lead to full-season success. If Amaya bombs, it's Ballasteros' time to get a shot. At worst, he should be able to adequately back up one of the veterans.
I don't think trading a bunch of assets for a guy like Langeliers is a good bet.