Implemented `isSubmapOfBy`.
Implemented `isSubmapOf`.
Implemented `isProperSubmapOfBy`.
implemented `isProperSubmapOf`.
Mutual recursive implementation of isSubmapBy and isProperSubmapBy