Simplify the type checker by relying on lambdas to always have type declarations.
Simplify the type checker by relying on lambdas to always have type declarations.

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