Added tests, which already passed, for the implicit conversion from PozX to X and PosX to X.