+= now typechecks