type-checked dynamite
Merge pull request #33 from Obvious/nick-compiler

type-checked dynamite