Pass over 26-27. Still intersection types don't work.
Changes up tio 31 (31 not done).