@type t() :: %Paradigm.Class{
  is_abstract: boolean(),
  name: Paradigm.name(),
  properties: %{required(Paradigm.name()) => Paradigm.Property.t()},
  super_classes: [Paradigm.id()]
}