topdown: Add support for shallow inlining

This commit adds support for a new partial evaluation mode ("shallow
inlining") where rules that depend on unknowns are not inlined. Only
rules that can be fully inlined are inlined. This mode generates
outputs that are structurally similar to the input.

Signed-off-by: Torin Sandall <torinsandall@gmail.com>