Introduction of a Writable type

This PR introduces a Writable stratosphere type. All related classes are updated to support Writables.

Additionally some method names of the TypeExtractor have been refactored.

This PR implements #767 and #747.