One can't proceed from the informal to the formal by formal means. Epigrams are interfaces across which appreciation and insight flow. Epigrams parametrize auras. Epigrams are macros, since they are executed at read time. Epigrams crystallize incongruities.
Epigrams retrieve deep semantics from a data base that is all procedure.
Epigrams are more like vitamins that protein. Epigrams have extremely low entropy. Purely applicative languages are poorly applicable. The proof of a system's value is its existence. You can't communicate complexity, only an awareness of it.