package urls
seq and expr
updated .gitignore
now typechecking
lexer/parser changes
a bit of type checking progress