Please see the TODO file in git and send patches and/or comments to the hal mailing list.