add base type to the is_mere_relation notation, close #586