make deref_optional more readable
move deref_optional into a new file
move get into a new header