add eager annotation type checking

[danking]

resolves #791

This should cause type errors much sooner if a signature disagrees with the actual types.

Much of the sample annotating code uses multiple inserters and therefore cannot be rewritten to use annotateSamples.