Types: change recursion symbol to be more consistent
DUP: parsec dependancy should have been added a while back
Parser: We don't need that newtype Promise after all