A simple dynamically typed concatenative language