Pretty sure that wasn't Havok in the future sequences but Sunspot... I think Havok did get named dropped in the Vietnam scene though. And yeah, the bit about Shadowcat projecting Wolverine to the past was a bit... off. Never one of Kitty's powers (and she really doesn't need any more as she's one of the stronger mutants running around as is!), but I can understand not wanting to introduce Rachel Summers and the absolute clusterfuck of the Summers Family Tree into the cinematic X-Verse.