fix bug

forgot constructor in match
disambiguate module identifiers