Separate TypeChecker invocation from the annotator.
Separate general references from type references that may use special indexes (#13).
Reference test (#13)