Interlanguages and synchronic models of computation