restructured typer declaration
very primitive type sanitation