Kill unused function
Add type spec's to hanoidb_level