Update q2, pass typechecker.