errors to stderr; TypeChecker: added functions as params and return values