Updating: support for typechecking fixed-point expressions.