Andrew Dupont: Everything is Permitted: Extending Built-ins