Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)