Convenience: the Concept currently in focus (may be null if workspace empty).
Concept? get focusedConcept => workspace .cast<Concept?>() .firstWhere((c) => c?.id == focusedConceptId, orElse: () => null);