Dereference

This adds a new dynamic function, dereference, to pointer_type that can remove the pointer layer of an array.