Speculoos

Removed useless blank line in type.ml

Removing useless comment

Removing useless variable _declarations

Adding universal quantification as a possible expression

Unit test for expressions