Added source information to Maude error.
Added support for "w" mode on files.