Parsing and emit for computed properties

This is based on the plan in issue #1082. The type checker support, .d.ts generation and language service support (other than navigation items). I plan to work on the type system side next.
I've rewritten the code so that this function can only be called in fullTypeCheck