Resolver: An IronPython-based spreadsheet