added paper draft and implementation of fuzzy typing