Elaborative semantics for Standard ML