Updates to the Y Combinator SAFE forms