Set theory with free construction principles