add top-level symbol environment construction
update README