Comment by pka

Having a good type system would be a good start :)