Typed.TopLevelPackage added
type literals moved into Typed.TopLevelPackage