Kindedness check in embeddings

[RobinWebbers]

As described in #21, we have to write a kindedness check on embeddings still. The main problem is that eqType does not take into account that RuntimeRep instances should be considered equivalent for symbolic evaluation.