type-checked dynamite

Hello @x-ma, 

Please review the following commits I made in branch 'nick-compiler'.

117496c104d873517b37b8164cc539d881d7a661 (2014-03-05 20:58:39 -0500)
type-checked dynamite

R=@x-ma