Stian Lybech: The reflective higher-order calculus: Encodability, typability and separation. Inf. Comput. 297: 105138 (2024)