add failing test this-func.js
add failing test infer-from-call.js
allow implicit infinite types for records