Added join functions for gradual annotations, proofen them to be functions