Finished revamping type checker for TypedExpr. Also added sublime stuff to gitignore.