Fix string conversion for type operator
JSON compilation for Cast operator