“It means if we didn’t have kohanim we would do piyon haben either”
I know what the words mean. I dont get what you are getting at.
Yes I agree they kept the Mitzvos that they could. Ie not all 613. I thought I was clear on this
” I don’t know why you think it’s far-fetched.”
I think that they wrote a sefer Torah and remembered what Amalek did is far-fetched. dont you?
“Does anyone disagree that they ate matzah on Pesach?”
not me.
WTP
“but there was a concept of kohanim”
“concept of Kohanim” arent kohanim. I f I redeem my bechor with a big tzadik who I say fullfils the “concept of khanim” you would say (correctly) that I didnt do the mitzvah
“Mechiya amalek”
I didnt mention mechiyas amalek, I said Zechiras Amalek, which we can (and do) do in the literal sense, but I dont beleive the avos where able to. (Yes as DY points out because it was impossible, otherwise they would have done it)
” I would suggest that perhaps the Avos were able to fulfill the mitzva in a non-literal sense”.
Again, so they did int literally do it.