Added type signatures.
hlinit - and updated instructions