A simple tool to emulate packages in Agda