Zeckendorf: a `sub` b now gives [] when b is greater than a
update simps.hs