Working on lst reverse in HTT