Further simplified implementation of description instantiation.
Added macro to compose function-symbols and lambda-functions into a new lambda-function at runtime.