1.0.18.1: correct handling of SATISFIES types in the compiler