completed section on simplecl and section on primcl
update to listings look
added sections about expression generating and smlcl
added sections on future work and phantom types
added gitignore for latex files