Stops passing around every erasure interval + path ID in per-path contexts, removes some unneeded null checks, renames some symbols, and inlines some resultantly unnecessary abstractions.
@im2517 @ml5717 Please review.