add a little more language to Types