HOCL: A Family of Embedded Languages