add Lists_J.v file
define append function in Lists_J.v
start bag list
Induction on the lists