Added basic type rules