TODO: Say something about implementation differences with transformation specs
TODO: Say something about the builtin functions somewhere (ref: christiaan)
TODO: Reorder future work.
TODO: Say something about implementation differences with transformation specs
TODO: Say something about the builtin functions somewhere (ref: christiaan)
TODO: Reorder future work.