add some type rules, support for some simple expressions