adds storage properties, fixes assert code generator issues
minor documentation update
adds basic unit-tests