experimental language for type inference