~thon/thon

ref: 6b703e40af6cf5c5a855a4e217e91c9fd252fa4b thon/elaborate.sml -rw-r--r-- 261 bytes
Add no-op elaboration