Developed advanced operations for Ordered Maps (Omaps) within the acl2/acl2 repository, focusing on enhancing map reasoning and data modeling capabilities. The work introduced features such as map composition, identity and injectivity checks, inverse computation, and value-based restricting, all implemented in Lisp using principles of algorithm design, data structures, and functional programming. By co-authoring a suite of omap modules, the developer established a foundation for safer and more expressive map manipulation, supporting modular reasoning and library reuse. This contribution addressed the need for richer, compositional map operations, enabling users to construct and verify complex data relationships within the ACL2 environment.