A Rule-based and Imperative Language for Biochemical Modeling and Simulation