Implemented initialization of records.

Refactoring needed, but I'm committing now so that I can continue working from another computer.

Temporarily introduced regression: Record isn't abstract.
Added (unimplemented) tests for generalization and specialization.