Reflecting on Types-1