parser/2 is det.
Fixed a bug of eval.
Now infer is det.
Add test for typing.
Prohibit recursive types.
Indentation