What kind of intos should be supported?

[epage]

What kind of conversions from non-predicates should be supported? Or conversions from one type of predicate to another?

Ideas include

• An into implementation that converts anything that implements Eq into a predicate. This would allow theoretical API to do something like 5.assert(5).
• Create a predicate that auto-adapts types and create an Into of it.

[epage]

For now, I'm doing this at the client-site where they can better determine the policy of what all types should be converted into a predicate.