Adding types for LaTex Files.
Adding the project proposal to the git repo.
Setting up an android project.