Hjs2Simpl mcuh better. Next step is to include Supply monad for the labels