Added test that Literal should have own type