ChatGPT - Type Systems vs Meaning