Vectorisation of top-level bindings