does_impl 0.0.0

[WIP] Determine if a type does implement a logical trait expression.
Documentation