add source locations to Ivory.Opts.TypeCheck