Allow the current dataset to influence interpretation of types

Not sure I want this yet.