More type fun and games