Added switch, that can be used in data monad. Need to seprate control and data expressions on if-else and switch statements