Add assert on SEPARATOR in text, some type specs, minor repr fix