typechecking working with un-modified translator files--which, while not committed just yet, but can be readily copied from gopherjs/translator/*.go
uncomment the commented out portions of translator/expressions.go, atg.