Implement VariableImpl's subclasses (typed/safeTyped/dynamic)