Design and Rigorous Prototyping of Object-Oriented Modeling with Syntropy