lots of changes

* upper case
* fixed bugs on procedure definition
* number transfer(rational, real -> integer)
* "and" and "or" are syntax, not procedure