wip
add a note about negative interaction between object types and fundeps