Add coercion of Cypher Types
Correct type checking of functions