First property for lists and first implementation of my_lists:append/2