type spec fixes and new exports
whitespace cleanup