pbustos/domain

DSR domain, including types hierarchy and predicates.