add HoTTSUM support for freedom, revolution and revomini

should work, but needs testing.