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