Fearsome Triassic 'ocean lizard' was a tweezer-nosed weirdo