Adopt "Remora variables only represent arrays" rule in basis library
Debugging in lifting procedure
Make Remora macros responsible for deciding how their subterms expand
Add Remora macro for reranking
Rewrite basis-lib tests using embedded Remora syntax