Variable and Type Related Extensions