perform init typechecking instead of assignment typechecking for PARAMETER constants
perform return typechecking instead of assignment for statement function body
removed old assignment typechecking; use initialization typechecking for type constructors