simple type linting for javascript; still non-functional