What a 'perfect language' reading of Wikilambda would mean for Abstract Wikipedia — type0 | type0