Dev. checkpoint: Added: various specs, implementation, doc.