A Case for Extensional Non-Wellfounded Metamodeling