Changes to base

Changes to base:
commit eea1b6f5fe254b249acc618ef5a82c3e52a27f8c
Author: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Date:   Tue Feb 25 11:35:30 2014 +0000

    Language extension wibble (see #8813)