King Alfred`s Anglo-Saxon Version of the Metres of Boethius: With an English Translation, and Notes