Update to use go/exact package for constants

Also, use method values in construction of
go/types Context structure. Hooray.