my Base.spec hides important things from the LH distribution
wrapping IO prims and annotating the wrappers, but still blocked on the non-propositional type error