changed R_Abstraction so we have an easy way to use de bruijn indexes, started on beta reduction