programming typing cases