It is now possible to extend logics with the later-operator using
function spaces.