Add InternalObj constructor to SMTExpr

Can be used to store temporary, application-specific data.
Must be removed before translating.