FIX: typesetting, wrong uppercase fancy letter used for type map, merging error types added