Revise dest_gabs and is_gabs
Convert mk_gabs, dest_let and is_let functions
Revise mk_let and mk_args
Complete basics module by covnerting find_path and follow_path