Syntactic Token Calculus