Cleaned up documentation
Improved implementation of A.record