Using tsc version 1.0, Mutability, fixes

Most tests succeed. The ones that fail are due to features we don't support rather than bugs.