fix bug in let+
rename arg
refactor scan