TSFull type safetyTypes are shared between the client and the server, with 'Go to definition'-level support.