Parser is now applicative instead of monadic

Also added a few more parser test cases