[limited types] Flesh out a lot more.