Flere tilrettelser til semant.sml