Types.h file
Fundamental type definitions for the Rodin library.
This header defines the standard type aliases used throughout Rodin, including numeric types (Integer, Real, Complex), container types (List, Map, Set), and utility types (Optional, Index).
These definitions ensure consistent type usage across the library and facilitate easy customization of underlying types if needed.