add multi-arg proc and multi-arg let