Galileo: A Strongly Typed, Interactive Conceptual Language