Basic type evaluation functions implemented