<<< native [ EFraction NormalFrac (EIdentifier "a") (EIdentifier "b") ] >>> eqn a over b