Unfinished work on figures Data Types and Condition Types.