Polishing and commenting around nestcond module
- Added specs to nestcond module
- Added edoc comments to nestcond module
- Fixed some names of variables
- Removed some extra fields from expansion record
- Fixed a bug with special result idiom