Finished fix of method dependent types type substitution (followed method worked wrong). Example from comment in #SCL-5090 Fixed