Improvements:

• Relaxes the 'static bound on tracked types, they can now have lifetimes
• Improves performance of constraint generation and validation
• Fixes possible name clashes in tracked methods (e.g. if parameters are called value)

Breaking changes:

• Removed public Constraint type, use <T as Validate>::Constraint instead
• Moved valid method from Track to the new Validate trait