Renamed non-introspective to fixed-point since.

It's based on the fixed-point theorem after all.