Syntax problem in Bitcoded
More robust type parsing and less typing