Cleaned up documentation
Completed implementation of A.record