improved usage of fancyPrint. improved BadPredicamentError