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 would prefer if we had a dual function, `hasConcreteName`, but this is fine.