added higher-arity polymorphism with relations test file #14

Closed lgstolberg closed 11 months ago