shortcut for smart matching with "where"; also bugfix for "where" not being applied to parameters lacking a type constraint