Add basic type specs

This PR adds basic type specs to JSEX

Is it something desirable?