Blech compiler version 0.5.1

Type annotations and typecasts in expressions.