President names Hulmák as Constitutional Court judge