poprawka typecheckera, dodane zalążki transformacji do kodu4
.gitignore added