Progress on types