semantic: Allow chars in enums.
semantic: say what a lot of the extyper functions actually do.