Partial application of procedures

[jjcnn]

At the moment all arguments to a procedure must be supplied when the procedure is called. This may be inconvenient in practice, especially once we add iterators (#516).

We currently have no typing rules for this sort of behaviour.

[jjcnn]

@jubnzv : Assigning this one to you as well, since it ties nicely into #578.