‘(1) Everyone has the right to liberty and security of the person. No one shall be deprived of his liberty save in the following cases and in accordance with a procedure prescribed by law; (a) the lawful detention of a person after conviction by a competent court; … (4) Everyone who is deprived of his liberty by arrest or detention shall be entitled to take proceedings by which the lawfulness of his detention shall be decided speedily by a court and his release ordered if his detention is not lawful. (5) Everyone who has been the victim of arrest or detention in contravention of the provisions of this Article shall have an enforceable right to compensation’