Extend interface of JsonToAlligator converter