Update Tangles.thy

This section stands completed. Framed Link Equivalence has also been defined and relationship with Link Equivalence stands true. The code however needs further modifications for readability.