A toy dynamic language