Handle safety per free variable; introduce psuedosafe concept and fix treatment of safety when exists closes over a safe variable in a pseudosafe expression