Starting to define higher-level types