Syntax fix

fix syntax when typechecking extraOut