Just moving the subtyping rules to the thesis files without any formatting