destyle :: Exp -> [Exp]
destyle (EStyled _ e) = e
destyle (ESpace _) = []
destyle (EText _ _) = []
destyle (ESymbol Pun _) = []
destyle (ESymbol Ord ".") = []
destyle (EFraction t a b) = [EFraction t (head $ destyle a) (head $ destyle b)]
destyle e = [e]