Describir: Typed windows : an implementation of a programming language for graphics design. Master Thesis