sugar pass
attach types to literals
literal types