type-check shepherd. #jankanddrank
Merge pull request #111 from Obvious/nick-compiler

type-check shepherd. #jankanddrank