refactor env and F.construct