New typing rules working swimmingly