decrease the enfasis in the "type checking" concept.