Working through allowing redef of a special form