spasojev / Type-Based-Analisys