An interpreter for DexScript, a language that aims to be Python without side-effects (in the functional sense)