Translate properties and make a main function

There's a bug in translation of properties.

It seems like constructors with only one argument get a Bit instead of a
Tuple in the argument function.