it has union and intersection types, but it is nothing like typescript.