Revert "modify return type"

This reverts commit b413238613e15a074d54c25dd6f19d3816313fd9.
Revert "start working on sematic types"

This reverts commit d56ec2ef7c6b6a79e0c28bef33be389091100916.