Dealing Nix derivations into OCI image layers, part 1

Hello! I had been having an uneasy feeling about the current OCI layering algorithm shipped in nix2container, and sat down to think about it in a structured manner. I don’t have any full solutions yet (as I enjoy modeling more than solving), but I hope you’ll find the approach interesting