WIP using forthcoming "rt" zero-deps core.typed for annotations
WIP trying to make the annotated file portably useful