IRLiteral works and is evaluable for four types
IRLiteral works and is evaluable for four types