Lucas: A System for Modeling