[Agda] new generalize feature, first version

[Nils Anders Danielsson]

On 2018-03-30 16:24, Joachim Breitner wrote:
> If I read Peter’s description of his `generalize` feature correctly,
> then this generalizes the variables _in each type signature_, and you
> can call bar from baz with different arguments for the generalized
> parameter.
> 
> If I read this correctly, then it would maybe more confusing than
> helpful to call it section.

That's a good point.

-- 
/NAD