Defines a Sqrt type for handling radical expressions