Proving language inclusion and equivalence by coinduction