Added some variables to t types in Buildin and Player interfaces, as well a a first .ml implementation of both.