finish translating pinfo struct into JS
remove one layer of abstraction from most symbol parsing
switch on some more analysis passes, to exercise the pinfo and env structs