Gradualtalk

Gradualtalk is a gradually-typed Smalltalk, which is fully compatible with existing Smalltalk code. Image is based on Pharo Smalltalk and the type system is deactivated by default.