A free logic with intensions as possible values of terms