AI Summary: The current implementation of `dataize` in `src/Dataize.hs` only supports 3 out of 12 primitive EO atoms, specifically `L_number_plus`, `L_number_times`, and `L_number_eq`. This limitation prevents the evaluation of common EO expressions involving division, comparisons, or byte manipulation, hindering its use as a compile-time evaluator. The suggested fix is to implement the remaining 9 missing atoms by mirroring their Java counterparts' semantics.
Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions