add local_env alloc  and binary operator