Ensure that existing datalog methods are correctly implemented on all required data types

[divarvel]

some methods like concatenation and .contains have been overloaded to work on more types (eg strings). We should make sure that they are properly implemented (and potentially add cases to the conformance suite if this is not done)