Small fixes to the type system concerning libraries.
Small fixes to the type system concerning libraries.

ruchevits/solidity,ruchevits/solidity,ruchevits/solidity,chriseth/solidity-doc-test,ruchevits/solidity,chriseth/solidity