Support more general types for instances/variables and parameters.
Support approximatelyEquals (~=) operator for doubles and Strings.