Flesh out quick example with Hana versions of basic runtime and compile-time
computations.