Describir: Nonstandard methods in fixed point theory