Θ-Calculus as a generalization of field extension an alternative approach to nonstandard analysis