better fix, more complete fix for #596
disallow recursion from within intersection in supertype
fix npe for non-wellformed satisfies