type stuff for js interpreter