Begin genericising.
Better macros.
Type info.
virtual_ and associated machinery.
Method entry.