working on issue #48, generic comparison is now supported by meets_constraint?, going to refactor out
refactored generic_comparator out for issue #48
actually implementing #48