From Here to There: Shortcuts and Efficiencies in Axiom