Also related : f-expr, a historical attempt at unifying them http://en.wikipedia.org/wiki/Fexpr .

Abandoned because the near impossibility of compilation when using them ( http://stackoverflow.com/questions/18324743/why-were-fexprs-... ).

And more recently http://web.cs.wpi.edu/~jshutt/kernel.html .