function
*************

concept
  function
  macro
    
fun
macro
let
letr

todo
  letm
  letrm
  rule
  rules