Some initial type rules with type task API.