close #281 relaxed uniqueness check such that definitions inside processes and classes can have the same name.