Clean up `LazyRec` implementation.