Type Constraints

Introduced under https://github.com/memgraph/memgraph/pull/2289