Type refinement
Beginnings of mobile optimization