Heh, what a silly little mistake to make with the asserts. I've now improved their readability. Thank you!

You're right, I need to add a better explanation for what a ket is. Same applies to the validity, should explain a bit about normalization.

Thanks for the feedback!