Bugfixes and methods signatures in Typing