void delete(String varName, {bool throws = true}) { if (symbols.containsKey(varName)) { symbols.remove(varName); } else { if (throws) { throw HTError.undefined(varName); } } }