Describir: Stochastic integration and generalized martingales