imp: added McCarthy's recursive meta-functions