Leng: Type inference

I'll be using type inference similar to Scala or the new auto word in C++11. I still need to investigate the details but syntactically, I plan to be using # to replace a type that needs to be inferred.