:- [op,type].

type	
	int(_),
	posint(_),
	agep(_),
	num(_),
	string(_).

type
	emp(string(name),
		agep(age)).