Added HOL document (WIP) and metadata