Modify the type-checker into type-annotator.
Modify the type-checker into type-annotator.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language