#ifndef VAL_H 
#define VAL_H

typedef enum {
  BOOL, NAT, ERROR
} Type;

#endif /* TYPE_H */