Interesting stuff! Seems like it's heavily inspired from haskell (great!) Good luck and have fun in your thesis.