Feature/Idea: `on_segment`

[foldl]

We should support a definition like on_segment p a b which requires p to be on segment ab.

[sobiny]

可以啊。我来做。稍等几分钟。

[sobiny]

我看了。里面有 on_line语法支持这个呀。 x = on_line x a b

[foldl]

这个是点在直线 ab 上。

[sobiny]

我明白你的意思了。我继续看看呢。