Added typechecking for declaration statemts with initializations.