Removed -printable slots in variable semantic types, and updated the printer to print variables properly.