Introduction Terms (TODO: definitions) niche layout tag place (or lvalue in C/C++ speak) rvalue (maybe we can come up with a Rust term for this as well?) Unsafe abstraction