Personal Notes on Types