Rename peq to timeq, revise the interface and implementation.