complex literals semantically checked