Fix submodules
Implement Partial Type Signatures