An interpreter for a multi-stage, functional subset of Dart