Changes type declaration of variables and parameters.

Changes type declaration of variables and parameters following the
adopted "scala-like" syntax (closes #4).
Adds a General Syntax Reference.