Type selection drop down Fleshed out type selector, now checks constraints Pure attribute for some things that should be expression nodes