k3-sle: Use algebra for typing relations checking. Checks all EPackages, not only the first one.