LOGIC-103: another `<=fd` non-termination bug

Add supporting fns `interval-<=` and `interval->=`. Remove silly logic
from `<=fdc` implementation, just use `interval-<=`.