Subroutine, Function implementation updated
Result renamed to value
SpecialType updated, annotations added