rene tassy: implementing visitor pattern for type checking