Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.

include ../common.mk

lib_LIBRARIES = libabsyntax.a

libabsyntax_a_SOURCES = \
	absyntax.cc \
	visitor.cc