Celf - A Logical Framework for Deductive and Concurrent Systems (System Description)