Formalized external use of puretech-foundation (refactor)