Changes variables to be type: choices where appropriate and creates a placeholder domain