A Strongly Typed, Interactive Object-Oriented Database Programming Language