WIP: improve dealing with java8-style existentials in SAMs