The theory of concatenative combinators (2007)