The Weyl computer algebra substrate
