Basic type converters for CREST