diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Dataize/Atoms.hs b/eo-phi-normalizer/src/Language/EO/Phi/Dataize/Atoms.hs
index 4881a7c4..f9714736 100644
--- a/eo-phi-normalizer/src/Language/EO/Phi/Dataize/Atoms.hs
+++ b/eo-phi-normalizer/src/Language/EO/Phi/Dataize/Atoms.hs
@@ -34,8 +34,8 @@ import Language.EO.Phi.Syntax
 
 knownAtomsList :: [(String, String -> Object -> EvaluationState -> DataizeChain (Object, EvaluationState))]
 knownAtomsList =
-  [ ("Lorg_eolang_as_phi", _)
-  , ("Lorg_eolang_int_gt", evaluateIntIntBoolFunChain (>))
+  -- [ ("Lorg_eolang_as_phi", _)
+  [ ("Lorg_eolang_int_gt", evaluateIntIntBoolFunChain (>))
   , ("Lorg_eolang_int_plus", evaluateIntIntIntFunChain (+))
   , ("Lorg_eolang_int_times", evaluateIntIntIntFunChain (*))
   , ("Lorg_eolang_int_div", evaluateIntIntIntFunChain quot)
@@ -65,10 +65,10 @@ knownAtomsList =
   , ("Lorg_eolang_bytes_xor", evaluateBytesBytesBytesFunChain (.^.))
   , -- deprecated
     ("Lorg_eolang_dataized", evaluateUnaryDataizationFunChain id id wrapBytesInBytes (extractLabel "target") id)
-  , ("Lorg_eolang_cage_encaged_encage", _)
-  , ("Lorg_eolang_cage_encaged_φ", _)
-  , ("Lorg_eolang_cage_φ", _)
-  , ("Lorg_eolang_error", evaluateUnaryDataizationFunChain stringToBytes bytesToString wrapBytesInBytes (extractLabel "message") error)
+  , -- , ("Lorg_eolang_cage_encaged_encage", _)
+    -- , ("Lorg_eolang_cage_encaged_φ", _)
+    -- , ("Lorg_eolang_cage_φ", _)
+    ("Lorg_eolang_error", evaluateUnaryDataizationFunChain stringToBytes bytesToString wrapBytesInBytes (extractLabel "message") error)
   , -- float
     -- deprecated
     ("Lorg_eolang_float_gt", evaluateBinaryDataizationFunChain boolToBytes bytesToFloat wrapBytesInBytes extractRho (extractLabel "x") (>))
@@ -86,45 +86,45 @@ knownAtomsList =
     ("Lorg_eolang_float_plus", evaluateFloatFloatFloatFunChain (+))
   , -- deprecated
     ("Lorg_eolang_float_div", evaluateFloatFloatFloatFunChain (/))
-  , ("Lorg_eolang_fs_dir_made_mkdir", _)
-  , ("Lorg_eolang_fs_dir_tmpfile_touch", _)
-  , ("Lorg_eolang_fs_dir_walk", _)
-  , ("Lorg_eolang_fs_file_deleted_delete", _)
-  , ("Lorg_eolang_fs_file_exists", _)
-  , ("Lorg_eolang_fs_file_is_directory", _)
-  , ("Lorg_eolang_fs_file_moved_move", _)
-  , ("Lorg_eolang_fs_file_open_file_stream_read_read_bytes", _)
-  , ("Lorg_eolang_fs_file_open_file_stream_write_written_bytes", _)
-  , ("Lorg_eolang_fs_file_open_process_file", _)
-  , ("Lorg_eolang_fs_file_size", _)
-  , ("Lorg_eolang_fs_file_touched_touch", _)
-  , ("Lorg_eolang_i16_as_i32", _)
-  , ("Lorg_eolang_i32_as_i64", _)
-  , ("Lorg_eolang_i64_as_number", _)
-  , ("Lorg_eolang_i64_div", _)
-  , ("Lorg_eolang_i64_gt", _)
-  , ("Lorg_eolang_i64_plus", _)
-  , ("Lorg_eolang_i64_times", _)
-  , ("Lorg_eolang_malloc_of_allocated_read", _)
-  , ("Lorg_eolang_malloc_of_allocated_resize", _)
-  , ("Lorg_eolang_malloc_of_allocated_size", _)
-  , ("Lorg_eolang_malloc_of_allocated_write", _)
-  , ("Lorg_eolang_malloc_of_φ", _)
-  , ("Lorg_eolang_math_angle_cos", _)
-  , ("Lorg_eolang_math_angle_sin", _)
-  , ("Lorg_eolang_math_real_acos", _)
-  , ("Lorg_eolang_math_real_asin", _)
-  , ("Lorg_eolang_math_real_ln", _)
-  , ("Lorg_eolang_math_real_pow", _)
-  , ("Lorg_eolang_math_real_sqrt", _)
-  , ("Lorg_eolang_number_as_i64", _)
-  , ("Lorg_eolang_number_div", _)
-  , ("Lorg_eolang_number_floor", _)
-  , ("Lorg_eolang_number_gt", _)
-  , ("Lorg_eolang_number_plus", _)
-  , ("Lorg_eolang_number_times", _)
-  , ("Lorg_eolang_rust", _)
-  , -- string
+  , -- , ("Lorg_eolang_fs_dir_made_mkdir", _)
+    -- , ("Lorg_eolang_fs_dir_tmpfile_touch", _)
+    -- , ("Lorg_eolang_fs_dir_walk", _)
+    -- , ("Lorg_eolang_fs_file_deleted_delete", _)
+    -- , ("Lorg_eolang_fs_file_exists", _)
+    -- , ("Lorg_eolang_fs_file_is_directory", _)
+    -- , ("Lorg_eolang_fs_file_moved_move", _)
+    -- , ("Lorg_eolang_fs_file_open_file_stream_read_read_bytes", _)
+    -- , ("Lorg_eolang_fs_file_open_file_stream_write_written_bytes", _)
+    -- , ("Lorg_eolang_fs_file_open_process_file", _)
+    -- , ("Lorg_eolang_fs_file_size", _)
+    -- , ("Lorg_eolang_fs_file_touched_touch", _)
+    ("Lorg_eolang_i16_as_i32", evaluateUnaryDataizationFunChain intToBytes bytesToInt wrapBytesInConstInt extractRho id)
+  , ("Lorg_eolang_i32_as_i64", evaluateUnaryDataizationFunChain intToBytes bytesToInt wrapBytesInConstInt extractRho id)
+  , ("Lorg_eolang_i64_as_number", evaluateUnaryDataizationFunChain floatToBytes bytesToInt wrapBytesInConstInt extractRho fromIntegral)
+  , ("Lorg_eolang_i64_div", evaluateIntIntIntFunChain div)
+  , ("Lorg_eolang_i64_gt", evaluateIntIntBoolFunChain (>))
+  , ("Lorg_eolang_i64_plus", evaluateIntIntIntFunChain (+))
+  , ("Lorg_eolang_i64_times", evaluateIntIntIntFunChain (*))
+  , -- , ("Lorg_eolang_malloc_of_allocated_read", _)
+    -- , ("Lorg_eolang_malloc_of_allocated_resize", _)
+    -- , ("Lorg_eolang_malloc_of_allocated_size", _)
+    -- , ("Lorg_eolang_malloc_of_allocated_write", _)
+    -- , ("Lorg_eolang_malloc_of_φ", _)
+    ("Lorg_eolang_math_angle_cos", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho cos)
+  , ("Lorg_eolang_math_angle_sin", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho sin)
+  , ("Lorg_eolang_math_real_acos", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho acos)
+  , ("Lorg_eolang_math_real_asin", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho asin)
+  , ("Lorg_eolang_math_real_ln", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho log)
+  , ("Lorg_eolang_math_real_pow", evaluateFloatFloatFloatFunChain (**))
+  , ("Lorg_eolang_math_real_sqrt", evaluateUnaryDataizationFunChain floatToBytes bytesToFloat wrapBytesInConstFloat extractRho sqrt)
+  , ("Lorg_eolang_number_as_i64", evaluateUnaryDataizationFunChain intToBytes bytesToFloat wrapBytesInConstInt extractRho round)
+  , ("Lorg_eolang_number_div", evaluateFloatFloatFloatFunChain (/))
+  , ("Lorg_eolang_number_floor", evaluateUnaryDataizationFunChain intToBytes bytesToFloat wrapBytesInConstInt extractRho floor)
+  , ("Lorg_eolang_number_gt", evaluateBinaryDataizationFunChain boolToBytes bytesToFloat wrapBytesInBytes extractRho (extractLabel "x") (>))
+  , ("Lorg_eolang_number_plus", evaluateFloatFloatFloatFunChain (+))
+  , ("Lorg_eolang_number_times", evaluateFloatFloatFloatFunChain (*))
+  , -- , ("Lorg_eolang_rust", _)
+    -- string
     ("Lorg_eolang_string_length", evaluateUnaryDataizationFunChain intToBytes bytesToString wrapBytesInConstInt extractRho length)
   ,
     ( "Lorg_eolang_string_slice"
@@ -136,15 +136,15 @@ knownAtomsList =
         evaluateBinaryDataizationFunChain stringToBytes bytesToInt wrapBytesInConstString (extractLabel "start") (extractLabel "len") (\start len -> take len (drop start string)) name obj state
     )
   , -- others
-    ("Lorg_eolang_sys_os_name", _)
-  , ("Lorg_eolang_sys_posix_φ", _)
-  , ("Lorg_eolang_sys_win32_φ", _)
-  , ("Lorg_eolang_try", _)
-  , ("Lorg_eolang_txt_regex_compiled", _)
-  , ("Lorg_eolang_txt_regex_pattern_match_matched_from_index", _)
-  , ("Lorg_eolang_txt_sprintf", _)
-  , ("Lorg_eolang_txt_sscanf", _)
-  ,
+    -- , ("Lorg_eolang_sys_os_name", _)
+    -- , ("Lorg_eolang_sys_posix_φ", _)
+    -- , ("Lorg_eolang_sys_win32_φ", _)
+    -- , ("Lorg_eolang_try", _)
+    -- , ("Lorg_eolang_txt_regex_compiled", _)
+    -- , ("Lorg_eolang_txt_regex_pattern_match_matched_from_index", _)
+    -- , ("Lorg_eolang_txt_sprintf", _)
+    -- , ("Lorg_eolang_txt_sscanf", _)
+
     ( "Package"
     , let
         f _name obj@(Formation bindings) = do