progress towards getting type inheritance awareness fully working in JavaScript