Use the MeTTa Interpreter