Adaptive Language-Guided Abstraction from Contrastive Explanations