New "put it all together" theory for miniML parsing.