Revert "type algebra seems to succeed"

This reverts commit dcb010b13810ca3e55723e667f4e886f0f4c8b6c.
cold remove Nil is fine
remove Nil in expr Case:fix