Rename Subfact to Subfact.clj