Procedure application - thus completing the eval/apply cycle for procedures