Some explorations of Andrej Bauer & Chris Stone's "galactic type theory" / Andromeda