Improve parser. Now variables names are strings. Unbound variables are not allowed. spaces required between the terms of an application.