agile: update Improve modeling of domain driven concepts in SML