Adds and fixes type specifications, adds modules comments and headers.