Started syntatic analyser

WIP: making pushdown automata
accepting only types for now