add procedure definition syntatic-sugar