type-check shepherd. #jankanddrank

Hello @dpup, 

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

f4a66c6a166baf008dfb4793ac2b4f77489d5357 (2014-03-19 01:48:20 -0400)
type-check shepherd. #jankanddrank

R=@dpup