adding fst, snd and cons ass global functions