100644 blob de3f7d3aaa89167a3fee8e3c8ba5206e633b7130	DisjunctionTypeConversionRule.java
100644 blob 052d27ab66c06e147df98ba1cc985fd8e6c16ac1	RootTypeConversionRule.java
100644 blob df8e639ebf44a56a0738aaea6202cd194bbf2b50	TypeConversionRule.java