Implemented `isProperSubmapOfBy`.
implemented `isProperSubmapOf`.