part 01: references, expressions, inherent impls