backwards compatibility fix for non-type annotations, and prog on monotonic