Added support for variables of type double; CIL instructions operating doubles are partially supported; added type information to SSM vars