Text this: Global semantic typing for inductive and coinductive computing