Odra Types

odra-types is the home of all types that can be used while writing modules.