[mupuf]

Yeah, I definitely jumbled both in the same basket. I should rename that into "higher-level languages" and introduce both HLS and HDL there.

Thanks for the feedback, I'll make some changes to clarify my thoughts!