module parameters for assumed variables when exporting to Agda (closes #67)