Update CalculusTypes.hs

Added existential quantification to Condition data type.