Procedure evaluation.

Added evaluation of procedures with arguments:
`(define (proc a b c d) ...)`