change defrel to support meta arguments. not yet tested
trying out extra args... baby steps
extra arg tested with prooftree