we can now instantiate define-function macro; there are still problems with quoting/unquoting but they need to be better elucidated