Graying out unused declarations

Similarly, perhaps we use`List.Async.map` and `List.choose` to eliminate the use of `Async.RunSynchronously`.