fixed type.ml
merge pull
merged type.ml
almost got nfa compiling
gitignore modified
nfa.ml compilable
TODO updated