proost fonctionality and UI

Add the current typechecking functionality to proost.

Add the semantic of commands in kernel/src/commands.rs

Improve the current pretty printing.

Add more syntaxic sugar.

#19 (closed) is partially solved. This was necessary.

Close #7 (closed).