Fix for issue with linker locs--

when they appear in "initializing" context they should result in symbolic
values.
Fix for issue with effective types.

The effective type of an object with no declared type (i.e., something with
allocated storage duration) shouldn't be updated when the lvalue has a char
type.