would like a type js protolanguage