add RhsIgnored, support genast without types (fix templates)