added declarations for . operator and Type