Semantic Code in SML (old ...)