Started to work on type inference