extended type system to use symbolic references