Add astral ty type checking too, and fix a type

Add astral ty type checking too, and fix a type #43