TypeScript: problemas con el sistema de tipos

Solo estoy probando typescript en VisualStudio 2012 y tengo un problema con su sistema de tipos. Mi sitio html tiene una etiqueta canvas con el id "mycanvas". Estoy tratando de dibujar un rectángulo en este lienzo. Aquí está el código

var canvas = document.getElementById("mycanvas");
var ctx: CanvasRenderingContext2D = canvas.getContext("2d");
ctx.fillStyle = "#00FF00";
ctx.fillRect(0, 0, 100, 100);

Desafortunadamente VisualStudio se queja de que

La propiedad 'getContext' no existe en el valor de tipo "HTMLElement"

Marca la segunda línea como un error. Pensé que esto sería simplemente una advertencia, pero el código no se compila. VisualStudio dice que

Hubo errores de compilación. Te gustaría continuar y ejecutar el último construcción exitosa ?

No me gustó este error en absoluto. ¿Por qué no hay invocación de método dinámico ? Después de todo, el método getContext definitivamente existe en mi elemento canvas. Sin embargo, pensé que este problema sería fácil de resolver. Acabo de añadir un tipo annotiation para canvas:

var canvas : HTMLCanvasElement = document.getElementById("mycanvas");
var ctx: CanvasRenderingContext2D = canvas.getContext("2d");
ctx.fillStyle = "#00FF00";
ctx.fillRect(0, 0, 100, 100);

Pero el sistema de tipos todavía no estaba satisfecho. Aquí está el nuevo mensaje de error, esto tiempo en la primera línea:

No se puede convertir 'HTMLElement' a 'HTMLCanvasElement': Tipo 'HTMLElement' falta la propiedad 'toDataURL' del tipo "HTMLCanvasElement"

Bueno, estoy totalmente a favor de la escritura estática, pero esto hace que el lenguaje sea inutilizable. ¿Qué quiere el sistema de tipos que haga?

ACTUALIZACIÓN:

Typescript de hecho no tiene soporte para invocación dinámica y mi problema se puede resolver con typecasts. Mi pregunta es básicamente un duplicado de esta TypeScript: casting HTMLElement