The next logical step in creating a better macro language would be to eliminate the function syntax, and use pattern matching syntax. A macro can be more effective if it matches patterns in the source code (with or without types) and rewrites them as desired.

For example consider if "add" was a function primitive in a post-fix language:

  42 13 add_int
  4.2 1.3 add_float

  transform { x:int + y:int } => { x y add_int }
  transform { x:float + y:float } => { x y add_float }

  42 + 13
  4.2 + 1.3

def + : (int int) -> (int) { add_int }
def + : (float float) -> (float) { add_float }
def + : (string string) -> (string) { cat_string }