parse everything in Existential F from token streams

Todo: make a simple lexer
add lexer