Neural Contractive Dynamically Typed