Make freudenthal suspension theorem compile

This is an alternative to #486.