Update probjs (typechecking for memoization)