fixed tabbing inconsistencies; added assertions; begun implementation of doubly list