Unit and Dynamic Type Checking in Hybrid Systems Modeling in Charon