added: electro.rb, a prototype of the type system