More work on symbol naming. I think that'll do for now.
Removed duplicate function body generation from constructors, and fixed global constructor test.