Compiler specs: Improve type conversions specs