Freudenthal.v: work in progress (file currently broken)