New test file

In a recursive series of instance declarations, h1, ..., hn,
a member of hi is to be elaborated in the full context h1, ..., hn if it
is a function (lambda abstraction ?) and h1, ..., h(i-1) otherwise.