Show HN: Axiom – A math-native OS where x² is valid syntax (built from scratch)