Implicit conversion message creation for semantic component occurrences and constructors
Implicit conversion message creation for semantic component occurrences and constructors

metaborg/dynsem,metaborg/dynsem