Basic.agda with compile function OK for seq operator
Using suc in the seq operator to enforce seq only outside primitive expressions