Feature/external dereferencing

This goes with the crichton PR