Add support for eta-equality

[jespercockx]

Add support for eta-equality, including:

• Eta-equality for functions
• Eta-equality for records with at least one field
• Eta-equality for singleton records (requires type-directed conversion)