hsem: huge cleanup
hsem: added minimal readme file