update variables, types and conditionals