A javascript library for static type checkking