Refaktooring, keele ühtlustamine ja kasutajapunkti koondamine proof projekti alla