Use functional commands for timestamp cache

Use UnorderedDistributionInterceptor and functional commands (max function) to achieve monotonicity of timestamps.